Malik, Ashar: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE Comput. Soc IEEE Symposium on FPGAs for Custom Computing Machines - Napa Valley, CA, USA (15-17 April 1998)] Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No.98TB100251) - Accelerating Boolean satisfiability with configurable hardware

Peixin Zhong,, Martonosi, M., Ashar, P., Malik, S.

Year:

1998

Language:

english

File:

PDF, 227 KB

english, 1998

2

Technology mapping for low power in logic synthesis

Vivek Tiwari, Pranav Ashar, Sharad Malik

Journal:

Integration, the VLSI Journal

Year:

1996

Language:

english

File:

PDF, 1.63 MB

english, 1996

3

Evidence-Based Decision on Medical Technologies in Asia Pacific: Experiences from India, Malaysia, Philippines, and Pakistan

Urmila Thatte, Samsinah Hussain, Madeleine De Rosas-Valera, Muhammad Ashar Malik

Journal:

Value in Health

Year:

2009

Language:

english

File:

PDF, 97 KB

english, 2009

4

[ACM Press the 30th international - Dallas, Texas, United States (1993.06.14-1993.06.18)] Proceedings of the 30th international on Design automation conference - DAC '93 - Technology mapping for lower power

Tiwari, Vivek, Ashar, Pranav, Malik, Sharad

Year:

1993

Language:

english

File:

PDF, 750 KB

english, 1993

5

Dose-dependent restoration of dystrophin expression in cardiac muscle of dystrophic mice by systemically delivered morpholino

Wu, B, Lu, P, Benrashid, E, Malik, S, Ashar, J, Doran, T J, Lu, Q L

Journal:

Year:

2009

Language:

english

File:

PDF, 1.26 MB

english, 2009

6

Exploiting multicycle false paths in the performance optimization of sequential logic circuits

Ashar, P., Dey, S., Malik, S.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1995

Language:

english

File:

PDF, 919 KB

english, 1995

7

Functional timing analysis using ATPG

Ashar, P., Malik, S.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1995

Language:

english

File:

PDF, 708 KB

english, 1995

8

Test generation for cyclic combinational circuits

Raghunathan, A., Ashar, P., Malik, S.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1995

Language:

english

File:

PDF, 759 KB

english, 1995

9

Guarded evaluation: pushing power management to logic synthesis/design

Tiwari, V., Malik, S., Ashar, P.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1998

Language:

english

File:

PDF, 231 KB

english, 1998

10

Using configurable computing to accelerate Boolean satisfiability

Peixin Zhong, Martonosi, M., Ashar, P., Malik, S.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

1999

Language:

english

File:

PDF, 117 KB

english, 1999

11

Socio-economic determinants of household out-of-pocket payments on healthcare in Pakistan

Ashar Muhammad Malik, Shah Iqbal Azam Syed

Journal:

International Journal for Equity in Health

Year:

2012

Language:

english

File:

PDF, 186 KB

english, 2012

12

[IEEE Comput. Soc. Press 8th International Conference on VLSI Design - New Delhi, India (4-7 Jan. 1995)] Proceedings of the 8th International Conference on VLSI Design - Test generation for cyclic combinational circuits

Raghunathan, A., Ashar, P., Malik, S.

Year:

1995

Language:

english

File:

PDF, 769 KB

english, 1995

13

[IEEE Comput. Soc. Press IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (5-9 Nov. 1995)] Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) - Fast functional simulation using branching programs

Ashar, P., Malik, S.

Year:

1995

Language:

english

File:

PDF, 604 KB

english, 1995

14

[IEEE Comput. Soc. Press International Conference on Computer Aided Design - San Jose, CA, USA (10-14 Nov. 1996)] Proceedings of International Conference on Computer Aided Design - Using Complete-1-Distinguishability for FSM equivalence checking

Ashar, P., Gupta, A., Malik, S.

Year:

1996

Language:

english

File:

PDF, 904 KB

english, 1996

15

[IEEE Computer Society Press 1993 European Conference on Design Automation with the European Event in ASIC Design - Paris, France (22-25 Feb. 1993)] 1993 European Conference on Design Automation with the European Event in ASIC Design - Functional timing analysis using ATPG

Ashar, P., Malik, S., Rothweiler, S.

Year:

1993

Language:

english

File:

PDF, 515 KB

english, 1993

16

[IEEE IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers - San Jose, CA, USA (4-8 Nov. 2001)] IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281) - Partition-based decision heuristics for image computation using SAT and BDDs

Gupta, A., Zijiang Yang,, Ashar, P., Lintao Zhang,, Malik, S.

Year:

2001

Language:

english

File:

PDF, 834 KB

english, 2001

17

[IEEE 34th Design Automation Conference - Anaheim CA (June 9-13, 1997)] Proceedings of the 34th Design Automation Conference - Toward Formalizing A Validation Methodology Using Simulation Coverage

Gupta, A., Malik, S., Ashar, P.

Year:

1997

Language:

english

File:

PDF, 826 KB

english, 1997

18

[IEEE Comput. Soc. Press IEEE/ACM International Conference on Computer-Aided Design - Santa Clara, CA, USA (1994.11.6-1994.11.10)] IEEE/ACM International Conference on Computer-Aided Design - Exploiting multi-cycle false paths in the performance optimization of sequential circuits

Ashar,, Dey,, Malik,

Year:

1992

Language:

english

File:

PDF, 735 KB

english, 1992

19

[IEEE Proceedings of 39th Design Automation Conference - New Orleans, LA, USA (2002.6.10-2002.6.14)] Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324) - Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver

Ganai, M.K., Lintao Zhang,, Ashar, P., Gupta, A., Malik, S.

Year:

2002

Language:

english

File:

PDF, 440 KB

english, 2002

20

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Implicit computation of minimum-cost feedback-vertex sets for partial scan and other applications

Ashar, Pranav, Malik, Sharad

Year:

1994

Language:

english

File:

PDF, 71 KB

english, 1994

21

Using complete-1-distinguishability for FSM equivalence checking

Ashar, Pranav, Gupta, Aarti, Malik, Sharad

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2001

Language:

english

File:

PDF, 279 KB

english, 2001

22

[ACM Press the 1995 international symposium - Dana Point, California, United States (1995.04.23-1995.04.26)] Proceedings of the 1995 international symposium on Low power design - ISLPED '95 - Guarded evaluation

Tiwari, Vivek, Malik, Sharad, Ashar, Pranav

Year:

1995

Language:

english

File:

PDF, 123 KB

english, 1995

23

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Toward formalizing a validation methodology using simulation coverage

Gupta, Aarti, Malik, Sharad, Ashar, Pranav

Year:

1997

Language:

english

File:

PDF, 110 KB

english, 1997

24

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - Using reconfigurable computing techniques to accelerate problems in the CAD domain

Zhong, Peixin, Ashar, Pranav, Malik, Sharad, Martonosi, Margaret

Year:

1998

Language:

english

File:

PDF, 189 KB

english, 1998

25

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver

Ganai, Malay K., Ashar, Pranav, Gupta, Aarti, Zhang, Lintao, Malik, Sharad

Year:

2002

Language:

english

File:

PDF, 332 KB

english, 2002

26

Expenditure tracking and review of reproductive maternal, newborn and child health policy in Pakistan

Malik, Muhammad Ashar, Nahyoun, Abdul Sattar, Rizvi, Arjumand, Bhatti, Zaid Ahmad, Bhutta, Zulfiqar Ahmad

Journal:

Health Policy and Planning

Year:

2017

Language:

english

File:

PDF, 366 KB

english, 2017

27

Progress in maternal and child health: how has South Asia fared?

Akseer, Nadia, Kamali, Mahdis, Arifeen, Shams E, Malik, Ashar, Bhatti, Zaid, Thacker, Naveen, Maksey, Mahesh, D’Silva, Harendra, da Silva, Inacio CM, Bhutta, Zulfiqar A

Journal:

Year:

2017

Language:

english

File:

PDF, 541 KB

english, 2017

28

Did contracting effect the use of primary health care units in Pakistan?

Malik, Muhammad Ashar, Van de Poel, Ellen, Van Doorslaer, Eddy

Journal:

Health Policy and Planning

Year:

2017

Language:

english

File:

PDF, 358 KB

english, 2017

29

[IEEE 1998 Design and Automation Conference. 35th DAC - San Francisco, CA, USA (15-19 June 1998)] Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175) - Using reconfigurable computing techniques to accelerate problems in the CAD domain: a case study with Boolean satisfiability

Peixin Zhong,, Ashar, P., Malik, S., Martonosi, M.

Year:

1998

Language:

english

File:

PDF, 679 KB

english, 1998

30

Implications of Isoprostanes and Matrix Metalloproteinase-7 Having Potential Role in the Development of Colorectal Cancer in Males

Rasool, Mahmood, Malik, Arif, Ghuman, Ahmad Ashar, Ashraf, Muhammad Abdul Basit, Arooj, Mahwish, Waquar, Sulayman, Zahid, Sara, Shaheen, Sumera, Qazi, Aamer, Naseer, Muhammad Imran, Zamzami, Mazin A.,

Journal:

Frontiers in Oncology

Year:

2018

Language:

english

File:

PDF, 846 KB

english, 2018

31

Treatment Side Effects

Moazzam, Nauman, Malik, Ashar A., Mehdi, Syed A., Potti, Anil

Journal:

Journal of Clinical Oncology

Year:

2002

Language:

english

File:

PDF, 1.68 MB

english, 2002

32

Structural phylogenetics with confidence

Malik, Ashar J, Poole, Anthony M, Allison, Jane R, Wilke, Claus

Journal:

Molecular Biology and Evolution

Year:

2020

File:

PDF, 4.60 MB

2020